Container Tree: Software to Model Container Filesystems, Packages, and Inheritance
نویسندگان
چکیده
منابع مشابه
Model Checking Generic Container Implementations
Model checking techniques have been successfully applied to the veriication of correctness properties of complex hardware systems and communication protocols. This success has fueled the application of these techniques to software systems. To date, those eeorts have been targeted at concurrent software whose complexity lies, primarily, in the large number of possible execution orderings of asyn...
متن کاملTransactions in software components: Container-interposed transactions
The paper focuses on transaction context propagation in component-based software architectures, where every component is deployed into a container and client requests may be performed in the scope of a container-interposed transaction. In the existing commercial architectures such as EJB and COM+, the “single attribute approach” is used to specify the transaction context propagation. Being diff...
متن کاملIntelligent Container Stacking System; Seaport Container Terminal
..............................................................................................i ACKNOWLEGEMENT................................................................................ii LIST OF FIGURES....................................................................................iii LIST OF TABLES......................................................................................i...
متن کاملContainer Services for High Confidence Software
For high-confidence systems, substantial effort is expended to ensure that the system will behave in an expected manner. This paper presents the position that a commercial off the shelf Enterprise JavaBeansTM (EJBTM) container can be extended to constrain the behavior of high confidence software. These extensions are based on techniques that are not new; developers of high confidence software u...
متن کاملSoftware Container Architecture for Distributed Mission Processes
The challenges posed by big data, both at the global and local levels, are viewed as critical challenges for the Department of Defense’s (DoD) ability to accomplish its future missions. In addition to recent advances in the area of photonic communication technologies that may provide efficient means for rapid processing of large data sets by facilitating efficient data movement, we argue that l...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Open Source Software
سال: 2019
ISSN: 2475-9066
DOI: 10.21105/joss.01418